Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
751	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation
752	Intuitionistic Modal Logic: 15 Years Later... Valeria de Paiva Nuance Communications Berkeley March 2015 Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2015-03-07 22:58:09 Non-classical logic Philosophical logic Logic in computer science Philosophy of mathematics Mathematical constructivism Modal logic Intuitionistic logic Intuitionism Curry–Howard correspondence Logic Mathematical logic Mathematics
753	VLISP Byte Code Interpreter Vipin Swarup William M. Farmer Leonard G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics Data types Operational semantics Actor model Interpreter Scheme Primitive data type Programming language Software engineering Computing Programming language theory
754	Department of Electrical Engineering and Computer Science Massachusetts Institute of TechnologyLegged Locomotion in Robots and Animals Handout No. 02 Add to Reading List Source URL: www.ai.mit.edu Language: English - Date: 1999-09-09 11:46:56 Mathematics Logic simulation Operations research Simulation Engineer
755	Comparison of two modelling approaches for an integrated crop economic model Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-16 21:30:39 Environment Sustainability Land management Fuzzy logic Logic in computer science Scientific modelling Rice Crop yield Sustainable development Agriculture Agronomy Crops
756	Implicit and Explicit Aspects of Scope and Block Structure Ulrik Pagh Schultz May 15, 1997 Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Subroutines Logic in computer science Functional programming Lambda lifting Closure Combinatory logic Lambda Apply Free variables and bound variables Software engineering Lambda calculus Computing
757	A Formalized Proof of Strong Normalization for Guarded Recursive Types (Long Version) Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
758	Semantics of Plan Revision in Intelligent Agents M. Birna van Riemsdijk John-Jules Ch. Meyer Frank S. de Boer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-01-23 02:56:37 Computer science Models of computation Programming language semantics Denotational semantics Operational semantics State transition system Programming language Semantics Meta-programs Theoretical computer science Logic in computer science Applied mathematics
759	The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functional programming Models of computation Logic in computer science Lambda calculus Programming language semantics Continuation-passing style Denotational semantics Free variables and bound variables Closure Software engineering Computing Computer programming
760	The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:23:14 Lambda calculus Process calculi Π-calculus Calculus Binary tree Combinatory logic Church encoding Graph FO Mathematics Theoretical computer science Applied mathematics

UPDATE